<html>
<head><meta charset="utf-8"><title>weekly meeting 2019.01.30 · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html">weekly meeting 2019.01.30</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="157218528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157218528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157218528">(Jan 30 2019 at 20:20)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="491">@WG-compiler-nll</span> ,  NLL triage meeting will start here in about 10  minutes</p>



<a name="157218555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157218555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157218555">(Jan 30 2019 at 20:20)</a>:</h4>
<p>I'm very late attempting some pre-meeting triage for the day. but lets see what I can do</p>



<a name="157218678"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157218678" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157218678">(Jan 30 2019 at 20:22)</a>:</h4>
<p>first, <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-NLL+-label%3ANLL-polonius+-label%3ANLL-sound+-label%3ANLL-diagnostics+-label%3ANLL-complete++-label%3ANLL-deferred+-label%3ANLL-performant++-label%3ANLL-fixed-by-NLL+-label%3AC-tracking-issue+-label%3ANLL-reference" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-NLL+-label%3ANLL-polonius+-label%3ANLL-sound+-label%3ANLL-diagnostics+-label%3ANLL-complete++-label%3ANLL-deferred+-label%3ANLL-performant++-label%3ANLL-fixed-by-NLL+-label%3AC-tracking-issue+-label%3ANLL-reference">uncategorized</a> issues that need tags</p>



<a name="157218695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157218695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157218695">(Jan 30 2019 at 20:22)</a>:</h4>
<p>"Unexpected borrow checker ICE" <a href="https://github.com/rust-lang/rust/issues/57989" target="_blank" title="https://github.com/rust-lang/rust/issues/57989">#57989</a> -- I just added P-high to that</p>



<a name="157218825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157218825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157218825">(Jan 30 2019 at 20:24)</a>:</h4>
<p>I cannot tell from a quick skim whether the code in question should compile successfully  or be rejected. luckily <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> already has posted a PR with a test that has the answer: The code should be rejected</p>



<a name="157218831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157218831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157218831">(Jan 30 2019 at 20:24)</a>:</h4>
<p>so this is an NLL-sound issue, I guess.</p>



<a name="157218856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157218856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157218856">(Jan 30 2019 at 20:24)</a>:</h4>
<p>(added tag accordingly)</p>



<a name="157218877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157218877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157218877">(Jan 30 2019 at 20:25)</a>:</h4>
<p>next: "DerefMut borrow method call is too long with Deref arguments" <a href="https://github.com/rust-lang/rust/issues/57376" target="_blank" title="https://github.com/rust-lang/rust/issues/57376">#57376</a></p>



<a name="157218908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157218908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157218908">(Jan 30 2019 at 20:25)</a>:</h4>
<p>this is hypothesized to be a two-phase borrow (2PB) issue</p>



<a name="157218986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157218986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157218986">(Jan 30 2019 at 20:26)</a>:</h4>
<p>not a regression vs AST-borrowck, in any case</p>



<a name="157219046"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219046" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219046">(Jan 30 2019 at 20:27)</a>:</h4>
<p>I guess 2PB issues are mostly NLL-complete ones</p>



<a name="157219066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219066">(Jan 30 2019 at 20:27)</a>:</h4>
<p>(apart perhaps for ones related to the unsafe-code-guidelines effort, where we are attempting to define a suitably restrictive model for programmers to adhere to...)</p>



<a name="157219132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219132">(Jan 30 2019 at 20:28)</a>:</h4>
<p>the user seems to expect that the code should compile. So I'll tag this as NLL-complete</p>



<a name="157219154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219154">(Jan 30 2019 at 20:28)</a>:</h4>
<p>next, <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-NLL+-label%3ANLL-polonius+-label%3ANLL-deferred+-label%3ANLL-fixed-by-NLL+no%3Amilestone+-label%3AP-high+-label%3AP-medium+-label%3AP-low+" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-NLL+-label%3ANLL-polonius+-label%3ANLL-deferred+-label%3ANLL-fixed-by-NLL+no%3Amilestone+-label%3AP-high+-label%3AP-medium+-label%3AP-low+">unpriroritized issues</a></p>



<a name="157219180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219180">(Jan 30 2019 at 20:29)</a>:</h4>
<p>oh my</p>



<a name="157219268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219268">(Jan 30 2019 at 20:30)</a>:</h4>
<p>there's 25 open issues in that list that have no P-label</p>



<a name="157219278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219278">(Jan 30 2019 at 20:30)</a>:</h4>
<blockquote>
<p>I guess 2PB issues are mostly NLL-complete ones</p>
</blockquote>
<p>I feel like we categorize this class of thing as wont-fix, at least not with current definition of 2PB</p>



<a name="157219324"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219324" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219324">(Jan 30 2019 at 20:31)</a>:</h4>
<blockquote>
<blockquote>
<p>I guess 2PB issues are mostly NLL-complete ones</p>
</blockquote>
<p>I feel like we categorize this class of thing as wont-fix, at least not with current definition of 2PB</p>
</blockquote>
<p>I'm okay with that.</p>



<a name="157219332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219332">(Jan 30 2019 at 20:31)</a>:</h4>
<p>the meeting is supposed to start now anyway</p>



<a name="157219354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219354">(Jan 30 2019 at 20:31)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="157219427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219427">(Jan 30 2019 at 20:32)</a>:</h4>
<p>there are zero NLL issues currently tagged P-high ( or NLL-priority) that lack an assignee</p>



<a name="157219441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219441">(Jan 30 2019 at 20:32)</a>:</h4>
<p>and no nominated issues</p>



<a name="157219459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219459">(Jan 30 2019 at 20:32)</a>:</h4>
<p>So, we have options for ways to use this time.</p>



<a name="157219531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219531">(Jan 30 2019 at 20:33)</a>:</h4>
<p>Discuss <a href="https://github.com/rust-lang/rust/issues/57202" target="_blank" title="https://github.com/rust-lang/rust/issues/57202">#57202</a> or <a href="https://github.com/rust-lang/rust/issues/57609" target="_blank" title="https://github.com/rust-lang/rust/issues/57609">#57609</a> ?</p>



<a name="157219627"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219627" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219627">(Jan 30 2019 at 20:35)</a>:</h4>
<p>Actually</p>



<a name="157219636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219636">(Jan 30 2019 at 20:35)</a>:</h4>
<p>I'm game to discuss <a href="https://github.com/rust-lang/rust/issues/57609" target="_blank" title="https://github.com/rust-lang/rust/issues/57609">#57609</a>, but I want to bring up one other thing</p>



<a name="157219651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219651">(Jan 30 2019 at 20:35)</a>:</h4>
<p>Not sure how many of us will be at the All Hands..? At the moment, we didn't allocate any dedicated time for NLL discussion</p>



<a name="157219667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219667">(Jan 30 2019 at 20:35)</a>:</h4>
<p>Maybe thumbs up this comment if you'll be there</p>



<a name="157219705"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219705" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219705">(Jan 30 2019 at 20:36)</a>:</h4>
<p>I don't know that we really have time for that, but it would be nice perhaps to dig into the 2PB and/or match stuff there..? Depends who is able to come</p>



<a name="157219772"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219772" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219772">(Jan 30 2019 at 20:36)</a>:</h4>
<p>One other thing that's been on my mind is if we want to do some kind of "postmortem" on the NLL process</p>



<a name="157219778"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219778" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219778">(Jan 30 2019 at 20:36)</a>:</h4>
<p>(not necessarily at the all hands)</p>



<a name="157219783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219783">(Jan 30 2019 at 20:36)</a>:</h4>
<p>i.e., what went well, what could have been done better, etc</p>



<a name="157219785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219785">(Jan 30 2019 at 20:36)</a>:</h4>
<p>Certainly seems like it would be foolish to not allocate some NLL time for ourselves.</p>



<a name="157219790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219790">(Jan 30 2019 at 20:37)</a>:</h4>
<p>I think it was one of the first times we've really tried to do a big development initiative this way</p>



<a name="157219802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219802">(Jan 30 2019 at 20:37)</a>:</h4>
<p>yeah, there just .. aren't really any free slots available unless we cut some compiler stuff or squeeze it in</p>



<a name="157219804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219804">(Jan 30 2019 at 20:37)</a>:</h4>
<p>well</p>



<a name="157219807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219807">(Jan 30 2019 at 20:37)</a>:</h4>
<p>or we extend the final day, which is presntly a half day</p>



<a name="157219816"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219816" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219816">(Jan 30 2019 at 20:38)</a>:</h4>
<p>I have a flight on the final day</p>



<a name="157219819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219819">(Jan 30 2019 at 20:38)</a>:</h4>
<p>(we could also do that informally, but it might be nice to talk this stuff over before the final day)</p>



<a name="157219872"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219872" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219872">(Jan 30 2019 at 20:38)</a>:</h4>
<p>I'd have to check the timing but it seems non-ideal to do it on last day</p>



<a name="157219880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219880">(Jan 30 2019 at 20:38)</a>:</h4>
<blockquote>
<p>I have a flight on the final day</p>
</blockquote>
<p>I also won't be there on last day</p>



<a name="157219881"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219881" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219881">(Jan 30 2019 at 20:38)</a>:</h4>
<p>well wait</p>



<a name="157219883"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219883" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219883">(Jan 30 2019 at 20:38)</a>:</h4>
<p>there is this one hour</p>



<a name="157219884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219884">(Jan 30 2019 at 20:38)</a>:</h4>
<p>currently marked Free Time</p>



<a name="157219886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219886">(Jan 30 2019 at 20:38)</a>:</h4>
<p>ah, I am supposed to be part of something then</p>



<a name="157219891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219891">(Jan 30 2019 at 20:38)</a>:</h4>
<p>er, wait, I'm not</p>



<a name="157219892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219892">(Jan 30 2019 at 20:39)</a>:</h4>
<p>so we could do it then</p>



<a name="157219893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219893">(Jan 30 2019 at 20:39)</a>:</h4>
<p>is there any slot that you are not supposed to be a part of, niko ?</p>



<a name="157219896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219896">(Jan 30 2019 at 20:39)</a>:</h4>
<p>not many</p>



<a name="157219897"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219897" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219897">(Jan 30 2019 at 20:39)</a>:</h4>
<p>(okay so Free Time is one)</p>



<a name="157219900"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219900" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219900">(Jan 30 2019 at 20:39)</a>:</h4>
<p>Free Time would give us 1 hr -- I'd prefer 2</p>



<a name="157219901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219901">(Jan 30 2019 at 20:39)</a>:</h4>
<p>but maybe 1 suffices</p>



<a name="157219904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219904">(Jan 30 2019 at 20:39)</a>:</h4>
<p>do we want to try a live post mortem?</p>



<a name="157219906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219906">(Jan 30 2019 at 20:39)</a>:</h4>
<p>can you point us at schedule?</p>



<a name="157219910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219910">(Jan 30 2019 at 20:39)</a>:</h4>
<p>yeah, sorry</p>



<a name="157219912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219912">(Jan 30 2019 at 20:39)</a>:</h4>
<p>there is a <a href="https://docs.google.com/spreadsheets/d/1qA7WUZZNyIVkc3vkK683tmsDg2fKSbusd9izAFZY8GQ/edit#gid=1640816313" target="_blank" title="https://docs.google.com/spreadsheets/d/1qA7WUZZNyIVkc3vkK683tmsDg2fKSbusd9izAFZY8GQ/edit#gid=1640816313">google spreadsheet here</a></p>



<a name="157219915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219915">(Jan 30 2019 at 20:39)</a>:</h4>
<p>I can try to prepare a post-mortem</p>



<a name="157219916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219916">(Jan 30 2019 at 20:40)</a>:</h4>
<p>i really should do so anyway</p>



<a name="157219925"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219925" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219925">(Jan 30 2019 at 20:40)</a>:</h4>
<p>(perhaps best for a separate topic but are there other discussions happening outside of the slots with those not in any of the teams that have things scheduled at that time?)</p>



<a name="157219954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219954">(Jan 30 2019 at 20:40)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> I don't really understand the question</p>



<a name="157219956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219956">(Jan 30 2019 at 20:40)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span>   sorry that was a lot to parse</p>



<a name="157219973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219973">(Jan 30 2019 at 20:41)</a>:</h4>
<p>are you asking, if you don't have a meeting at time X, is there something for you to do?</p>



<a name="157219979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157219979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157219979">(Jan 30 2019 at 20:41)</a>:</h4>
<p>if so, the answer is that there is some communal space I believe</p>



<a name="157220013"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220013" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220013">(Jan 30 2019 at 20:41)</a>:</h4>
<p>well, why don't we take over the free time</p>



<a name="157220016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220016">(Jan 30 2019 at 20:41)</a>:</h4>
<p>the column labelled "Comm space" I imagine</p>



<a name="157220116"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220116" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220116">(Jan 30 2019 at 20:43)</a>:</h4>
<p>Yeah, that’s what I was trying to ask. There are times where there’s nothing I’m really involved in and was wondering if other discussions would be happening in those times just not in the main meeting rooms.</p>



<a name="157220122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220122">(Jan 30 2019 at 20:43)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> am I right in inferring that you are taken during the Governance WG slot?</p>



<a name="157220154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220154">(Jan 30 2019 at 20:44)</a>:</h4>
<p>Yes, I had expected to participate in that</p>



<a name="157220208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220208">(Jan 30 2019 at 20:44)</a>:</h4>
<p>I think 1hr might suffice for a targeted meeting discussing the action plan on these changes..?</p>



<a name="157220212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220212">(Jan 30 2019 at 20:45)</a>:</h4>
<p>I don't think it suffices for a longer "retrospective"</p>



<a name="157220232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220232">(Jan 30 2019 at 20:45)</a>:</h4>
<p>maybe try to get a head start during lunch, for people apart from niko</p>



<a name="157220239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220239">(Jan 30 2019 at 20:45)</a>:</h4>
<p>well</p>



<a name="157220252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220252">(Jan 30 2019 at 20:45)</a>:</h4>
<p>(i.e. I imagine niko's attention will have many demands)</p>



<a name="157220277"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220277" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220277">(Jan 30 2019 at 20:45)</a>:</h4>
<p>sure, we could try to do that</p>



<a name="157220299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220299">(Jan 30 2019 at 20:45)</a>:</h4>
<p>but the rest of us might be able to at least talk things over ahead of time</p>



<a name="157220424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220424">(Jan 30 2019 at 20:46)</a>:</h4>
<p>do we want to try and talk over the PRs now? (or should we defer it till then?)</p>



<a name="157220449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220449">(Jan 30 2019 at 20:47)</a>:</h4>
<p>(oops were we supposed to go to Berlin All-Hands ?)</p>



<a name="157220450"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220450" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220450">(Jan 30 2019 at 20:47)</a>:</h4>
<p>we can either talk over the PR's, or do collective triage</p>



<a name="157220451"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220451" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220451">(Jan 30 2019 at 20:47)</a>:</h4>
<p>I would like to review the latest comment by <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> on <a href="https://github.com/rust-lang/rust/pull/57609" target="_blank" title="https://github.com/rust-lang/rust/pull/57609">https://github.com/rust-lang/rust/pull/57609</a>, which I didn't get a chance to look at</p>



<a name="157220470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220470">(Jan 30 2019 at 20:47)</a>:</h4>
<p>I think discussing these PR's seems good</p>



<a name="157220472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220472">(Jan 30 2019 at 20:47)</a>:</h4>
<blockquote>
<p>(oops were we supposed to go to Berlin All-Hands ?)</p>
</blockquote>
<p>not necessarily :)</p>



<a name="157220498"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220498" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220498">(Jan 30 2019 at 20:47)</a>:</h4>
<p>but a lot of us will be there so it's a decent time to talk</p>



<a name="157220500"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220500" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220500">(Jan 30 2019 at 20:48)</a>:</h4>
<p>(at least on some issues)</p>



<a name="157220551"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220551" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220551">(Jan 30 2019 at 20:48)</a>:</h4>
<p>can you get to Berlin easily, <span class="user-mention" data-user-id="116113">@lqd</span> ?</p>



<a name="157220564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220564">(Jan 30 2019 at 20:48)</a>:</h4>
<p>(I imagine its not <em>trivial</em>)</p>



<a name="157220580"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220580" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220580">(Jan 30 2019 at 20:48)</a>:</h4>
<p>not trivial indeed :)</p>



<a name="157220635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220635">(Jan 30 2019 at 20:49)</a>:</h4>
<blockquote>
<p>I think discussing these PR's seems good</p>
</blockquote>
<p>Can we start with <a href="https://github.com/rust-lang/rust/issues/57609" target="_blank" title="https://github.com/rust-lang/rust/issues/57609">#57609</a>?</p>



<a name="157220638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220638">(Jan 30 2019 at 20:49)</a>:</h4>
<p>How should we proceed</p>



<a name="157220703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220703">(Jan 30 2019 at 20:50)</a>:</h4>
<p>did you want to ask <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> questions?</p>



<a name="157220711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220711">(Jan 30 2019 at 20:50)</a>:</h4>
<p>there is a fair amount of background information, I did my best to summarize <em>my</em> understanding of what the PR did <a href="https://github.com/rust-lang/rust/pull/57609#issuecomment-458288480" target="_blank" title="https://github.com/rust-lang/rust/pull/57609#issuecomment-458288480">in this comment</a>, though <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> has some corrections</p>



<a name="157220718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220718">(Jan 30 2019 at 20:50)</a>:</h4>
<p>I did have a specific question</p>



<a name="157220719"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220719" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220719">(Jan 30 2019 at 20:50)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> yeah I should have maybe asked earlier I thought it was only for the teams, so unfortunately it seems unlikely — even though I of wish I could :/</p>



<a name="157220938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220938">(Jan 30 2019 at 20:53)</a>:</h4>
<p>so <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> one thing, you wrote this:</p>
<blockquote>
<p>No, there's no read here at the moment (you link to a fake read at (***)). </p>
</blockquote>
<p>But (a) I'm not really sure on the distinction between a "fake read" and a "read" and (b) I think that point <code>***</code> <em>is</em> the same point that I highlighted? (start of stage 5?)</p>



<a name="157220970"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157220970" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157220970">(Jan 30 2019 at 20:53)</a>:</h4>
<p>ah but maybe you're saying that, if there is a guard, <em>then</em> there is no read there at all</p>



<a name="157221067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221067">(Jan 30 2019 at 20:54)</a>:</h4>
<p>yes, there's one fake read per pattern. In the case where there's a guard, it's before the guard (and the bindings for the guard)</p>



<a name="157221070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221070">(Jan 30 2019 at 20:54)</a>:</h4>
<p>in which case my question becomes... "why not"? =)</p>
<p>I guess maybe because there is a read from the case where guard is false?</p>



<a name="157221098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221098">(Jan 30 2019 at 20:55)</a>:</h4>
<p>Because the current match lowering code makes it difficult.</p>



<a name="157221209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221209">(Jan 30 2019 at 20:56)</a>:</h4>
<p>I'm currently looking at how we can simplify it so that we can have the fake borrows just be live during the guard.</p>



<a name="157221281"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221281" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221281">(Jan 30 2019 at 20:57)</a>:</h4>
<p>OK. My next question would be, where you wrote this:</p>
<blockquote>
<p>As well as the above I think you're asking why (<em>) exists, because that borrow is never live across user code. The reason is to (somewhat hackily) prevent a fake borrow from being live along a (<strong>) -&gt; [ Exit match ] -&gt; (loop) -&gt; [Pre-match] -&gt; (</strong></em>) path.</p>
</blockquote>
<p>if we only made the "fake borrows" (and fake reads) after creating the guard bindings, I think then that this would maybe suffice?</p>
<p>e.g.,</p>
<div class="codehilite"><pre><span></span>[ 1. Pre-match ]
       |
[ 2. Discriminant testing -- check discriminants ] &lt;-+
       |                                             |
       | (once a specific arm is chosen)             |
       |                                             |
[ 3. Create &quot;guard bindings&quot; for arm ]               |
[ (create fake borrows) ]                            |
       |                                             |
[ 4. Execute guard code ] --(guard is false)---------+
       |
       | (guard results in true)
       |
[ (read fake borrows) ]
[ 5. Create real bindings and execute arm ]
       |
[ Exit match ]
</pre></div>



<a name="157221297"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221297" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221297">(Jan 30 2019 at 20:57)</a>:</h4>
<p>the idea being that the fake borrows are specifically live only across the guard code execution</p>



<a name="157221301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221301">(Jan 30 2019 at 20:57)</a>:</h4>
<p>(which is where the user injects stuff)</p>



<a name="157221322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221322">(Jan 30 2019 at 20:57)</a>:</h4>
<blockquote>
<p>I'm currently looking at how we can simplify it so that we can have the fake borrows just be live during the guard.</p>
</blockquote>
<p>is what I wrote above what you meant by this?</p>



<a name="157221375"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221375" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221375">(Jan 30 2019 at 20:58)</a>:</h4>
<p>Yes, I think that that would be what we should go for (whatever we decide on for 2PB and what fake borrows require)</p>



<a name="157221389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221389">(Jan 30 2019 at 20:58)</a>:</h4>
<p>I also agree that seems elegant</p>



<a name="157221403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221403">(Jan 30 2019 at 20:58)</a>:</h4>
<p>So, if we do this, then we remove some of the the 2PB interaction, because the fake borrows are now created <strong>after</strong> the <code>&amp;mut</code> for the guard binding</p>



<a name="157221426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221426">(Jan 30 2019 at 20:59)</a>:</h4>
<p>Yes.</p>



<a name="157221452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221452">(Jan 30 2019 at 20:59)</a>:</h4>
<p>At least, the part of 2PB that we are currently unsure about</p>



<a name="157221601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221601">(Jan 30 2019 at 21:01)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="157221606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221606">(Jan 30 2019 at 21:01)</a>:</h4>
<p>ok, well, I feel pretty satisfied with <a href="#narrow/stream/122657-wg-nll/topic/weekly.20meeting.202019.2E01.2E30/near/157221281" title="#narrow/stream/122657-wg-nll/topic/weekly.20meeting.202019.2E01.2E30/near/157221281">that final diagram</a></p>



<a name="157221619"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221619" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221619">(Jan 30 2019 at 21:01)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> are you following along? (or others?)</p>



<a name="157221646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221646">(Jan 30 2019 at 21:02)</a>:</h4>
<p>I'm more or less following, there's a bunch of things there that I don't know yet :)</p>



<a name="157221684"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221684" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221684">(Jan 30 2019 at 21:02)</a>:</h4>
<p>but trying to understand :)</p>



<a name="157221748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221748">(Jan 30 2019 at 21:03)</a>:</h4>
<p>So what Q’s does this leave regarding 2PB? There’s still stacked-borrows stuff, right?</p>



<a name="157221784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221784">(Jan 30 2019 at 21:03)</a>:</h4>
<p>/me is trying to follow along but it is nontrivial due to home issues</p>



<a name="157221788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221788">(Jan 30 2019 at 21:03)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> if we do this, it basically "clears the way" for us to make it an error to have a pre-existing loan when you create the (two-phase) <code>&amp;mut</code> loan</p>



<a name="157221790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221790">(Jan 30 2019 at 21:03)</a>:</h4>
<p>this has some kind of relation to an unsoundness issues that showed up related to borrows in arm conditionals?</p>



<a name="157221848"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221848" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221848">(Jan 30 2019 at 21:04)</a>:</h4>
<p>The connection to 2PB is sort of indirect. Basically, we were <strong>taking advantage</strong> of the very pattern that we planned to disallow as part of our match desugaring</p>



<a name="157221855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221855">(Jan 30 2019 at 21:04)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="116083">@pnkfelix</span> if we do this, it basically "clears the way" for us to make it an error to have a pre-existing loan when you create the (two-phase) <code>&amp;mut</code> loan</p>
</blockquote>
<p>(or future-compat warning)</p>



<a name="157221859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221859">(Jan 30 2019 at 21:04)</a>:</h4>
<p>Ah right</p>



<a name="157221868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221868">(Jan 30 2019 at 21:04)</a>:</h4>
<p>Okay well I’m on board then</p>



<a name="157221874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157221874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157221874">(Jan 30 2019 at 21:04)</a>:</h4>
<blockquote>
<p>this has some kind of relation to an unsoundness issues that showed up related to borrows in arm conditionals?</p>
</blockquote>
<p>right, the goal of these "fake borrows" is basically to limit the user from making mutations in the guard code that affect things that are being matched (rephrased for clarity)</p>



<a name="157222080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157222080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157222080">(Jan 30 2019 at 21:07)</a>:</h4>
<p>OK, <span class="user-mention" data-user-id="116118">@Matthew Jasper</span>, seems like we have general consensus on this direction =) sorry for being slow. </p>
<p>Regarding your other PR <a href="https://github.com/rust-lang/rust/pull/57202" target="_blank" title="https://github.com/rust-lang/rust/pull/57202">https://github.com/rust-lang/rust/pull/57202</a>, I personally haven't done my homework to catch up on the latest. Sorry, been busy with all-hands planning and other things. But let me put it on my calendar to do Friday -- and I may do it right now after this meeting</p>



<a name="157222092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157222092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157222092">(Jan 30 2019 at 21:07)</a>:</h4>
<p>For example, we want to disallow this (without the current buggy HIR mutation check)</p>
<div class="codehilite"><pre><span></span><span class="k">match</span><span class="w"> </span><span class="o">*</span><span class="n">y</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="kc">true</span><span class="w"> </span><span class="o">=&gt;</span><span class="w"> </span><span class="p">(),</span><span class="w"></span>
<span class="w">    </span><span class="kc">false</span><span class="w"> </span><span class="k">if</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">        </span><span class="n">y</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="o">&amp;</span><span class="kc">true</span><span class="p">;</span><span class="w"></span>
<span class="w">        </span><span class="kc">false</span><span class="w"></span>
<span class="w">    </span><span class="p">}</span><span class="w"> </span><span class="o">=&gt;</span><span class="w"> </span><span class="p">(),</span><span class="w"></span>
<span class="w">    </span><span class="kc">false</span><span class="w"> </span><span class="o">=&gt;</span><span class="w"> </span><span class="p">(),</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</pre></div>



<a name="157222171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157222171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157222171">(Jan 30 2019 at 21:08)</a>:</h4>
<p>makes sense</p>



<a name="157222191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157222191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157222191">(Jan 30 2019 at 21:08)</a>:</h4>
<p>I think the current PR has the best approach (it's been updated to the "obvious" solution). But the alternative is still there.</p>



<a name="157222207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157222207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157222207">(Jan 30 2019 at 21:08)</a>:</h4>
<p>OK</p>



<a name="157222257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157222257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157222257">(Jan 30 2019 at 21:09)</a>:</h4>
<p>Is that it for now then?</p>



<a name="157222355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157222355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157222355">(Jan 30 2019 at 21:10)</a>:</h4>
<p>Seems like it</p>



<a name="157222373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157222373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157222373">(Jan 30 2019 at 21:10)</a>:</h4>
<p>(PS, nice job <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> tackling the match stuff. Feels like a good solution.)</p>



<a name="157222388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157222388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157222388">(Jan 30 2019 at 21:10)</a>:</h4>
<p>Yes, now I've got to implement it.</p>



<a name="157222878"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157222878" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157222878">(Jan 30 2019 at 21:16)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> Is the description for <a href="https://github.com/rust-lang/rust/issues/57609" target="_blank" title="https://github.com/rust-lang/rust/issues/57609">#57609</a> updated to reflect the plan-of-record and/or what's currently implemented in the commit series?</p>



<a name="157222951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157222951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157222951">(Jan 30 2019 at 21:17)</a>:</h4>
<p>i just like to have the description reflect reality, as it serves as the message bors ends up using on the merge commit</p>



<a name="157223289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.30/near/157223289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E30.html#157223289">(Jan 30 2019 at 21:21)</a>:</h4>
<p>(Also, I would strongly recommend we include the flow-chart diagram somewhere in the code -- I at least find it <strong>really</strong> helpful)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>